| 1. | These constitute the parameters of the abstract machine
这些就形成了虚拟机器的实现参数。 |
| 2. | These define the nondeterministic aspects of the abstract machine
由此定义了抽象机器的非确定性的方面。 |
| 3. | An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input
对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。 |
| 4. | Such documentation shall define the instance of the abstract machine that corresponds to that implementation ( referred to as the “ corresponding instance " below )
实现的文档中应当定义对应与该实现的虚拟机器的实例（ “对应实例”描述如下） 。 |
| 5. | Certain other aspects and operations of the abstract machine are described in this international standard as unspecified ( for example , order of evaluation of arguments to a function )
本标准将虚拟机器的其他一些方面和操作描述为未指明的（如函数参数的求值顺序） 。 |
| 6. | For compilation , we design a target abstract machine - hsecd machine and discuss the structure , instruction , principle and optimization of hsecd machine in detail
为实现编译目的，设计了一个目标抽象机hsecd机，详细讨论了hsecd机的结构、指令、工作原理和指令优化方法。 |
| 7. | A conforming implementation executing a well - formed program shall produce the same observable behavior as one of the possible execution sequences of the corresponding instance of the abstract machine with the same program and the same input
当一个符合标准的实现执行一个完备的程序时，其产生的可观察行为应该与该实现的抽象机器对应实例依据同一程序和同一输出产生的可能执行序列之一相同。 |
